Support for graphs of processes in a command interpreterMCDONALD, C; DIX, T. I.Software, practice & experience. 1988, Vol 18, Num 10, pp 1011-1016, issn 0038-0644Article

An efficiency preorder for processes = Un préordre efficace pour les processusARUN-KUMAR, S; HENNESSY, M.Acta informatica. 1992, Vol 29, Num 8, pp 737-760, issn 0001-5903Article

Specification oriented semantics for communicating processesOLDEROG, E.-R; HOARE, C. A. R.Acta informatica. 1986, Vol 23, Num 1, pp 9-66, issn 0001-5903Article

An approximate model of processor communication rings under heavy loadCOFFMAN, E. G; FLATTO, L; GILBERT, E. N et al.Information processing letters. 1997, Vol 64, Num 2, pp 61-67, issn 0020-0190Article

From ATP to timed graphs and hybrid systemsNICOLLIN, X; SIFAKIS, J; YOVINE, S et al.Acta informatica. 1993, Vol 30, Num 2, pp 181-202, issn 0001-5903Article

Etudes et mises en œuvre d'outils de vérification basée sur la bisimulation = Studies and implementations of verification tools based on disimulationBouali, Amar; Nivat, Maurice.1993, 150/160 pThesis

A Finite Equational Base for CCS with Left Merge and Communication MergeACETO, Luca; FOKKINK, Wan; INGOLFSDOTTIR, Anna et al.Lecture notes in computer science. 2006, pp 492-503, issn 0302-9743, isbn 3-540-35904-4, 12 p.Conference Paper

Concurrency and atomocity; Parallélisme et atomicitéBOUDOL, Gérard; CASTELLANI, Ilaria.Rapports de recherche - INRIA. 1987, Vol 748, issn 0249-6399, 47 p.Report

A complete inference system for an algebra of regular acceptance modelsGRAF, Susanne.Rapport de recherche - Informatique et mathématiques appliquées de Grenoble, ISSN: 0750-7380 ; 581. 1986, 24 p.Report

Expression et réalisation du contrôle d'exécution dans un système réparti = Expression and implementation of execution control in a distributed systemROZIER, Marc; KRAKOWIAK, Sacha.1986, 184 pThesis

Specifying concurrent objects as communicating processesJAYADEV MISRA.Science of computer programming. 1990, Vol 14, Num 2-3, pp 159-184, issn 0167-6423, 26 p.Article

Usefulness and usage of SKaMPI-benchAUGUSTIN, Werner; WORSCH, Thomas.Lecture notes in computer science. 2003, pp 63-70, issn 0302-9743, isbn 3-540-20149-1, 8 p.Conference Paper

Abstract games for infinite state processesSTEVENS, P.Lecture notes in computer science. 1998, pp 147-162, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Resource based models for asynchronyRATHKE, J.Lecture notes in computer science. 1998, pp 273-287, issn 0302-9743, isbn 3-540-64300-1Conference Paper

Conception et évaluation d'une plate-forme pour le placement dynamique de processus communicants = Design and estimate of a platform for the dynamic scheduling of communicating processesBernon, Carole; Betourne, C.1995, 190 p.Thesis

Real-time programmingHEHNER, E. C. R.Information processing letters. 1989, Vol 30, Num 1, pp 51-56, issn 0020-0190Article

An algebraic theory of fair asynchronous communicating processesHENNESSY, M.Theoretical computer science. 1987, Vol 49, Num 2-3, pp 121-143, issn 0304-3975Article

Performance modeling and evaluation of Java message-passing primitives on a clusterTABOADA, Guillermo L; TOURINO, Juan; DOALLO, Ramon et al.Lecture notes in computer science. 2003, pp 29-36, issn 0302-9743, isbn 3-540-20149-1, 8 p.Conference Paper

Stable families of behavioural equivalencesLIVESEY, M.Theoretical computer science. 1989, Vol 63, Num 1, pp 19-41, issn 0304-3975Article

Spécification des systèmes parallèles: le langage L et son environnement = Parallel system specification: the L-language and its environmentBEHM, P; DAGRON, N; ERMINE, F et al.Revue technique - Thomson-CSF. 1987, Vol 19, Num 2, pp 213-247, issn 0035-4279Article

Algebraic calculi of processes and net expressionsGONTHIER, G.Theoretical computer science. 1985, Vol 40, Num 2-3, pp 329-337, issn 0304-3975Article

Les fonctions non-noéthériennes et les règles de transition de termes = Non-noetherianity and terms transition rulesPEREIRA, Juan Manuel.Rapport de recherche - Informatique et mathématiques appliquées de Grenoble, ISSN: 0750-7380 ; 566. 1985, 17 p.Report

A component architecture for LAM/MPISQUYRES, Jeffrey M; LUMSDAINE, Andrew.Lecture notes in computer science. 2003, pp 379-387, issn 0302-9743, isbn 3-540-20149-1, 9 p.Conference Paper

PCc/MPI: Design and implementation of a portable MPI CheckpointerSUNIL AHN; JUNGHWAN KIM; SANGYONG HAN et al.Lecture notes in computer science. 2003, pp 302-308, issn 0302-9743, isbn 3-540-20149-1, 7 p.Conference Paper

The network agnostic MPI - Scali MPI connectHUSE, Lars Paul; SAASTAD, Ole W.Lecture notes in computer science. 2003, pp 294-301, issn 0302-9743, isbn 3-540-20149-1, 8 p.Conference Paper